Remarques sur les Langages de Parenthèses

نویسندگان

  • Jean-Michel Autebert
  • Joffroy Beauquier
  • Luc Boasson
  • Géraud Sénizergues
چکیده

La famille des langages de parentheses est une giniralisation judicieuse (due % Takahashi [9]) de la famille des langages parenthetiques. En effet, pour cette famille qui jouit de nombreuses prorriitis de cloture (comme la cloture par intersection, par exemple), Takahashi itend ies rksultaas connus sur les parenthetiques pour decider de l’iquivaience [9]. A i’inverse, nous prouvons ici que la famille des langages de parentheses est une sous-ciasse de la famille des iangages N.T.S., retrouvant le resultat de Takahashi commc corollaire d’un resultat plus general [Cc]. Now etablissons ensuite deux petites proprietis des langages de parentheses qui les reliant aux iangages parenthittiques et multi-parenthetiques.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Reformulation de problèmes de satisfaction de contraintes basée sur des métamodèles

Un des challenges importants en programmation par contraintes est la reformulation de modèles déclaratifs en programmes exécutables permettant de calculer leurs solutions. Cette phase peut nécessiter de faire des traductions entre les langages de la programmation par contraintes, de changer la représentation des contraintes ou d’optimiser les modèles et de paramétrer les stratégies de recherche...

متن کامل

JooFlux : modification de code à chaud et injection d'aspects directement dans une JVM 7

Résumé Modifier les portions fonctionnelles et non-fonctionnelles des applications au cours de leur exécution est utile et parfois critique tant lors des phases de développement que de suivi en production. JooFlux est un agent JVM qui permet à la fois de remplacer dynamiquement des implémentations de méthodes que d’appliquer des aspects. Il fonctionne en opérant des transformations de bytecode ...

متن کامل

Langages Algébriques et Systèmes de Réécriture Rationells

— In this paper, a new methodfor generating languages is introduced. It consists of the définition ofafinite number ofrules ofthe type: fug may be replacedby fvg iffbelongs to a given regular language. It is proved that any de terminis tic language which is prefix can be generated starting from finite sets anditerating such rules. Conversely under suitable hypotheses on the R(u, v) the language...

متن کامل

Relationals Morphisms and Operations on Recognizable Sets

— Relational morphisms betweenfinite monoids (a notion due to Tilson) are used to study the effect certain opérations on recognizabie sets have on the syntactic monoids ofthose sets. This leads to concise proofs ofa number ofknown results concerning the product opération, and a new resuit concerning the star opération. Résumé. — On utilise les morphismes relationnels (dus à Tilson) pour étudier...

متن کامل

Le modèle OFL au service du métaprogrammeurApplication à Java

RÉSUMÉ. OFL est le sigle de Open Flexible Languages et le nom d’un métamodèle des langages de programmation à classes. Il repose sur trois concepts essentiels de ces langages : les descriptions qui sont une généralisation de la notion de classe, les relations telles l’héritage ou l’agrégation et les langages eux-mêmes. OFL offre un paramétrage de ces trois concepts dans le but d’adapter leur sé...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • Theor. Comput. Sci.

دوره 31  شماره 

صفحات  -

تاریخ انتشار 1984